NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2011 Utgivningsland okänt / Ej specificerat